Building continuous webbed models for system F

Improved Bayesian Training for Context-Dependent Modeling in Continuous Persian Speech Recognition

Context-dependent modeling is a widely used technique for better phone modeling in continuous speech recognition. While different types of context-dependent models have been used, triphones have been known as the most effective ones. In this paper, a Maximum a Posteriori (MAP) estimation approach has been used to estimate the parameters of the untied triphone model set used in data-driven clust...

Minimal lambda-theories by ultraproducts

A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the least lambda-theory λβ or the least sensible lambda-theory H (generated by equating all the unsolvable terms). A related question is whether, given a class of lambda models, there is a minimal lambda-theory represented by it. In this paper, we give a...

A hybrid decision making system using DEA and fuzzy models for supplier selection in the presence of multiple decision makers

Heat Transfer, Environmental Benefits, and Social Cost Analysis of Different Insulation Methods by Considering Insulation Disadvantages

In this paper, the thermal performance of four common insulators in two internal and external insulation systems is investigated for the ASHRAE setpoint range by applying detailed numerical simulation and Anti-Insulation phenomenon. Anti-Insulation phenomenon and consequent extra load on the HVAC system can occur following the thermal insulation of a building if proper temperature setpoint is n...

Evaluating Response Modification Factors of Concentrically Braced and Special Moment Steel Frames in Duplex Buildings

Response modification factor (R-factor) is one of the seismic design parameters to consider nonlinear performance of building structures during strong earthquake. Relying on this, many seismic design codes led to reduce earthquake loads imposed to the structure. The present paper tries to evaluate the R-factors of conventional concentric braced frames (CBFs) and special moment frames (MRFs) in ...